Meshing implicit surfaces with certified topology
نویسندگان
چکیده
We describe a new algorithm for building piecewise linear approximations of an implicit surface. This algorithm is the first one guaranteeing that the implicit surface and its approximation are isotopic. Key-words: implicit surfaces, meshing, Morse theory INRIA † INRIA ‡ Rijksuniversiteit Groningen Maillage de surfaces implicites avec topologie certifiée Résumé : Nous décrivons un nouvel algorithme pour construire une approximation polyédrique d’une surface implicite donnée. C’est le premier algorithme qui permette de garantir que la surface implicite et son approximation sont isotopes. Mots-clés : surfaces implicites, maillage, théorie de Morse Meshing implicit surfaces with certified topology 3
منابع مشابه
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correct topology and any given geometric precision. We propose a symbolic-numeric method to compute a certified meshing for the surface inside a box containing singularities and use a modified Plantinga-Vegter marching cube...
متن کاملCalcul effectif de la topologie de courbes et surfaces algébriques réelles. (On the Computation of The Topology of Real Algebraic Curves and Surfaces)
In this thesis, we got interested into the Effective Computation of the Topology of Real Algebraic Curves and Surfaces. One can distinguish three main new algorithms in the field of shape representation. Our first algorithm is a certified symbolic-numerical based on sub-resultants properties and computes the topology of a plane algebraic curve with the best known complexity. The second algorith...
متن کاملACS Algorithms for Complex Shapes with Certified Numerics and Topology Review of CGAL package for skin surface meshing
This report includes a review about the first submission of the CGAL package for isotopic meshing of skin surfaces. It provides some suggestions, namely to simplify the user interface of the package and also to make skin surfaces compatible with the CGAL 3D Surface Mesher package.
متن کاملOn the isotopic meshing of an algebraic implicit surface
We present a new and complete algorithm for computing the topology of an algebraic surface S given by a squarefree polynomial in ◗[X,Y, Z]. Our algorithm involves only subresultant computations and entirely relies on rational manipulation, which makes it direct to implement. We extend the work in [15], on the topology of non-reduced algebraic space curves, and apply it to the polar curve or app...
متن کاملCertified Computation of Morse-Smale Complexes on Implicit Surfaces
The Morse-Smale complex is an important tool for global topological analysis in various problems in computational topology and data analysis. A certified algorithm for computing the Morse-Smale complexes has been presented for two-dimensional Morse-Smale systems in bounded planar domains [3]. In the current article we extend the approach in case of MorseSmale systems on two-dimensional manifold...
متن کامل